From Left-Regular to Greibach Normal Form Grammars

نویسنده

  • Anton Nijholt
چکیده

Each context-free grammar can be transformed to a context-free grammar in Greibach normal form, that is, a con text-free grammar where each right-hand side of a prorfuction begins with a terminal symbol and the remainder of the right-hand side consists of nonterminal symbols. In this short paper we show that for a left-regular grammar G we can obtain a right-regular grammar G’ (which is by definition in Greibach normal form) which left-to-right covers G (in this case left parses of G’ can be mapped by a homomorphism on right parses of G. Moreover, it is possible to obtain a context-free grammar G” in Greibach normal form which right covers the left-regular grammar G (in this case right parses of G” are mapped on right parses of G). More general results on covers for context-free gwnmars in Greiharh -WW~ form and in non-leftrecursive F . 2; UC: round in (6,8,13]. Negative cover results appear in [ 141. Complexity problems for covers for regular and linear grammars can be found in [S,S] . Covers, in the sense that we will use them here, were introduced by Gray and Harrison [2,3] and they are also considered in [ I] . However, as will be seen, our definition is slightly different from theirs, and this difference is essential to obtain the results in-this paper. Other papers in which types of covers are introduced are [ 10,111.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Grammar Functors and Covers: from Non-left-recursive to Greibach Normal Form Grammars

ANTON NIJHOLT Abstract. Attention is paid to structure preserving properties of transformations from a non-leftrecursive context-free grammar to a Greibach normal form grammar. It is demonstrated that such a transformation cannot only be ambiguity preserving, but also both cover and functor relations between grammars or their associated syntax-categories can be obtained from such a transformation.

متن کامل

Generating all permutations by context-free grammars in Greibach normal form

We consider context-free grammars Gn in Greibach normal form and, particularly, in Greibach m-form (m = 1, 2) which generates the finite language Ln of all n! strings that are permutations of n different symbols (n ≥ 1). These grammars are investigated with respect to their descriptional complexity, i.e., we determine the number of nonterminal symbols and the number of production rules of Gn as...

متن کامل

Several Aspects of Context Freeness for Hyperedge Replacement Grammars

In this paper we survey several aspects related to normal forms of hyperedge replacement grammars. Considering context free hyperedge replacement grammars we introduce, inspired by string grammars, Chomsky Normal Form and Greibach Normal Form. The algorithm of conversion is quite the same with the algorithm for string grammars. The important difference is related to the fact that hyperedge gram...

متن کامل

Quantum automata and quantum grammars

To study quantum computation, it might be helpful to generalize structures from language and automata theory to the quantum case. To that end, we propose quantum versions of finite-state and push-down automata, and regular and context-free grammars. We find analogs of several classical theorems, including pumping lemmas, closure properties, rational and algebraic generating functions, and Greib...

متن کامل

A Local Greibach Normal Form for Hyperedge Replacement Grammars

Heap-based data structures play an important role in modern programming concepts. However standard verification algorithms cannot cope with infinite state spaces as induced by these structures. A common approach to solve this problem is to apply abstraction techniques. Hyperedge replacement grammars provide a promising technique for heap abstraction as their production rules can be used to part...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Inf. Process. Lett.

دوره 9  شماره 

صفحات  -

تاریخ انتشار 1979